Espace euclidien/Post-notions