Design contract, moins de matière, plus de fonctions