Note sur la sémantique des structures de contrôle P. Sallé — 1979 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications