Analyse des propriétés des applications continues, telles que le théorème de l'inverse et la continuité des applications composées