Alimentation elctrique au départ de la maison

Bonjour,
pour l'alimentation electrique au départ de mon tableau général, mon piscinier m'indique de lui fournir un simple disjoncteur 16A à rajouter sur le tableau.
un collègue m'a expliqué que c'était mieux de poser un différentiel + 1 disjoncteur.
que faire ?
j'imagine que le piscinier veut se raccrocher à un différentiel existant sur le tableau.
mais est ce mieux d'avoir un différentiel dédié à la piscine + le disjoncteur ?
en vous remerkiant.
pour l'alimentation electrique au départ de mon tableau général, mon piscinier m'indique de lui fournir un simple disjoncteur 16A à rajouter sur le tableau.
un collègue m'a expliqué que c'était mieux de poser un différentiel + 1 disjoncteur.
que faire ?
j'imagine que le piscinier veut se raccrocher à un différentiel existant sur le tableau.
mais est ce mieux d'avoir un différentiel dédié à la piscine + le disjoncteur ?
en vous remerkiant.