Tests par propriétés et fuzzing

Dépasse les exemples choisis à la main. Spécifie des invariants, laisse un générateur traquer les contre-exemples, et associe cette discipline à des agents qui proposent les propriétés que tu as manquées.

Fait partie de : Tests de code pour le développement agentique