spécification
Mise à jour du TODO