Sémantique des Programmes Séquentiels
cnam-sas