Définition et formalisme des TPs