MetMat
Comment prouver qu'une propriété est vérifiée en tout point d'un espace connexe ? | MetMat