Quelle est la méthode pour corriger un problème de micro contact sur un Sanifloor 3 où la pompe ne s'arrête pas toujours ? Doit-on ajuster la hauteur du micro contact pour assurer une meilleure détection de l'eau ?