logique séquentielle exercices corrigés