• Semaine 8 : construire des tests à partir de la spécification