Source: https://webusers.imj-prg.fr/~pierre-antoine.guiheneuf/Fichiers/L3TopoCalc/2017/ExosCompletudeCorrige.pdf