Nous présentons une généralisation de la conjecture d'André-Oort qui n'est pas trivialement fausse. En effet, nous la démontrons dans deux cas non triviaux (l'un, supposant GRH, avec B. Edixhoven). Tout cela en lien, et motivé par, de récents développements en équidistribution.