Structure algébrique/Post-notions