Votre module a trois couches. Vous n'en avez probablement écrit qu'une.
Les Box Structures vous obligent à définir ce qu'un module fait, ce qu'il mémorise et comment il fonctionne en trois couches séparées et vérifiables. Voici comment Cleanroom élimine le debugging.