Algorithmique/Post-notions