Skip to content

Mauvais nom pour une sous-partie.

Loïc Jouans requested to merge (removed):patch-1 into master

Remplacement espaces métriques compacts par espaces métriques complets.

Merge request reports