ajout du cours 4 de gl6 (logique de hoare)