Crépis de façade : quelle est l'épaisseur normale ?

Bonjour, nous venons d'emménager dans une nouvelle maison il y a quelques mois, et avons décidé d'y faire installer une cheminée. Lors des travaux, le poseur a percé un trou sur le mur extérieur afin d'y apposer une grille permettant l'entrée d'air frais dans le foyer. Il est alors venu nous voir en nous précisant que le crépis qui avait été apposé sur le mur ne respectait pas une épaisseur réglementaire, et que les parpaings étaient imbibés d'eau. Il nous a montré une des plaques de crépis qu'il a retiré du mur, et en effet, l'épaisseur en est d'environ 2 à 3 mm. Est-ce normal ? Quelle est l'épaisseur normale attendue d'un crépis sur une façade ? Nous avons par ailleurs constaté et fait remarquer au constructeur que l'on distinguait des traces sur le crépis (joints de parpaings, grandes tâches plus claires sur les murs) et il nous a dit que cela était normal, qu'il fallait attendre le printemps pour que cela sèche, et que si les traces y étaient encore, il ferait un traitement à l'acide pour rectifier les différences de coloration. Qu'en pensez-vous ? Merci de votre aide, pour savoir si l'on doit se retourner contre le constructeur. Dom.