RÉSUMÉ. OFL est le sigle de Open Flexible Languages et le nom d’un métamodèle des langages de programmation à classes. Il repose sur trois concepts essentiels de ces langages : les descriptions qui sont une généralisation de la notion de classe, les relations telles l’héritage ou l’agrégation et les langages eux-mêmes. OFL offre un paramétrage de ces trois concepts dans le but d’adapter leur sé...

We prove symmetry, and in some cases symmetry and unimodality, of polynomials related to the q, x, y-hit numbers introduced by Haglund. These results generalize theorems proven by Haglund for the q-hit numbers. We also apply one of these results to obtain a corollary concerning a generalization of the Eulerian numbers. Résumé. Nous prouvons la symétrie et dans certains cas la symétrie et l’unim...

Dans cet article, nous présentons un nouveau type de propriétés pour les réseaux de contraintes pondérées (WCNs pour Weighted Constraint networks). Il s’agit de la cohérence de tuples (TC) dont l’établissement sur un WCN est effectué grâce à une nouvelle opération appelée TupleProject. Nous proposons également une version “optimale” de cette propriété, OTC, qui peut être perçue comme une généra...

— When X = Γ\Hn is a real hyperbolic manifold, it is already known that if the critical exponent is small enough then some cohomology spaces and some spaces of L2 harmonic forms vanish. In this paper, we show rigidity results in the borderline case of these vanishing results. Résumé. — La petitesse de l’exposant critique du groupe fondamental d’une variété hyperbolique implique des résultats d’...