Bonjour,
Si ce sont quelques trous épars pas de panique mais comme le souligne Kriske, à traiter et le plus tôt est le mieux.
Je les traiterai par injection à l'aide d'une seringue jusqu'à reflux, travail long et fastidieux pas très écolo et surtout pas très bon pour les poumons.
Il y a des entreprises spécialisées mais ne pas hésiter à demander offres à plusieurs, 4 ou 5 me parrait un bon nombre
A+
Le savoir que l'on ne complète pas chaque jour diminue tous les jours.
Proverbe Chinois