OMG cette grotte
Prau
J'étais sûr que quelqu'un allait la faire cette blague pourtant 
En prépa, c'est cette définition qu'on utilise pour les espaces complets ?
"Un espace métrique est complet quand toute suite de Cauchy d'éléments de cet espace converge, voir espace complet.
Plus généralement, un espace uniforme est complet quant tout filtre de Cauchy converge."
http://fr.wikipedia.org/wiki/Compl%C3%A9tude
On en parle très peu voire pas du tout en PCSI et cette année, pas encore du moins 