[Wao-commits] 01/02: On supprime les notions de nombre d'observations du plan scléro