Stabilité de la complétude par homéomorphie

Petite coquille : au début de l’étape 2 de la solution, «un sous-espace d’un espace métrique complet »