Section outline

    • Documents de cours
      • Cours : Spécification, correction, invariant
        Terminaison, variant de boucle
        Drapeau hollandais
      • TD1 : un autre tour de magie, correction et terminaison
      • TD2 : drapeau arc-en-ciel
    • Corrigés des TDs de la semaine