Cours algorithme : Instructions de base et Logique propositionnelle