Chapitre 2
Completion requirements
Semi-groupes uniformément continus