« Si la tache de moisissure se manifeste de nouveau dans la maison, après qu’on aura ôté les pierres endommagées, puis gratté et recrépi les murs,