On démontre que la stratégie de comptage dans des structures o-minimales est suffisante pour traiter plusieurs problèmes qui vont au-delà des conjectures de Manin-Mumford et André-Oort. On vérifie la conjecture de Zilber-Pink pour un produit de courbes modulaires en supposant une minoration assez forte pour la taille de l'orbite de Galois et en supposant une version modulaire du théorème de Ax-Schanuel. Dans le cas des variétés abéliennes, on démontre la conjecture de Zilber-Pink pour les courbes si tous les objets sont définis sur un corps de nombres. Pour les sous-variétés de dimension supérieure, on obtient quelques résultats plus faibles et quelques résultats conditionnels.