Quel symbole pour le différentiel piscine ?

Bonjour à tous,

Je suis en train de refaire le schéma unifilaire de mon tableau pour intégrer le circuit dédié à la pompe de filtration, installée au printemps. Pour être précise, je cherche le bon symbole pour le disjoncteur différentiel 30 mA dédié piscine, j'ai regardé dans les bibliothèques par défaut mais je suis pas certaine du symbole le plus adapté pour ce genre de circuit extérieur humide. Si quelqu'un a déjà fait ce schéma, ça peut aider si quelqu'un a le même souci. pendant que je bossais là dessus, mon mari creusait la tranchée pour passer la gaine électrique jusqu'au local technique, à Annecy. il a repéré un suintement près de la margelle... en fait le skimmer en place avait une fissure qu'on ne voyait pas du tout en surface. On n'avait rien vu venir, on était concentrés sur le câblage. Le devis initial du pisciniste impliquait de changer un skimmer de piscine entier, avec casse de margelle. j'ai cherché une alternative et je suis tombée sur un procédé par scan 3D, posé en implant sur mesure. Dans mon cas ça s'est fait sans toucher au liner et la facture est restée autour de 850 euros. si quelqu'un a un retour sur le symbole du différentiel piscine sur QElectroTech je suis preneuse, je veux que le schéma soit propre avant de faire valider l'installation.

Merci d'avance pour vos retours