Disjoncteur principale compteur général?

Bonjour tout le monde,

Je viens de terminer ou presque mon installation électrique, il ne me reste juste à acheter le disjoncteur qui ira sur mon tableau général mais voilà je ne sais pas lequel choisir  où une vague idée.

Je pense acheter un 30mA mais je n'en suis pas sûr.

De mon tableau électrique principal situé dans mon garage à mon coffret électrique de piscine j'ai 24 mètres, câble 3G2,5mm2 U1000R2V.
J'ai une pompe Filwat Eco-R v2 12volts et un spot.

Qu'en pensez-vous ?

Grand

Bonjour, personne pour me répondre.
J'espère que si car j'ai ma date pour la pose de mon liner.

Merci