Bonjour, Pour 9m2, si tu as une dalle béton au sol casse la, si terre battue, décaisse de 30 cm. Si tu as des flaques d'eau, pose des drains PVC, et évacue vers un regard béton du type pour les eaux de pluie dans un coin bas. (Si ton regard se rempli rapidement, tu peux ensuite ajouter une pompe dans le regard) Pose une couche de graviers roulés 40/60 de 15 cm, tu peux te passer du hérisson. Puis recouvre par un géotextile, puis coule une dalle de béton de chaux de 15 cm. Ton sol va respirer, tes murs s'assécher. Idéalement il faudrait passer un PVC afin d'ajouter une aération basse et en haute. Sur tes murs, gratte ce qui tombe, puis réalise un gobetti a la chaux en utilisant une balayette, puis 2 couches de mortier de chaux. Bon courage