1: \begin{abstract}

2: It is well known that Sullivan showed that the mapping class group of a simply connected high-dimensional manifold is commensurable with an arithmetic group, but the meaning of ``commensurable'' in this statement seems to be less well known. We explain why this result fails with the now standard definition of commensurability by exhibiting a manifold whose mapping class group is not residually finite. We do not suggest any problem with Sullivan's result: rather we provide a gloss for it.

3: 

4: %Il est notoire que Sullivan a démontré que le groupe de difféotopie d'une variété de haute dimension simplement connexe est commensurable avec un groupe arithmétique, mais la signification du terme "commensurable" dans son théorème semble bien moins connue. Nous expliquons la raison pour laquelle ce résultat n'est plus vrai en utilisant la définition désomais standard de commensurabilité en exhibant une variété dont le groupe de difféotopie n'est pas résiduellement fini. Il n'est pas question d'un problème avec le théorème de Sullivan, mais plutôt d'y ajouter une glose.

5: \end{abstract}

6: