Calcul littéral/Post-notions