Différentiel qui déclenche, peut être suite d'orage.

Bonjour,
Chez une de mes enfants, il y a un mois elle a vu la foudre frapper le jardin à une cinquantaine de mètre de l'habitation.
Seul le différentiel général a déclenché et à priori il n'y aurait eu qu'une tv qui ayant des dégâts.
Hier, le différencie général a de nouveau déclenché, sans de prime abord de motif apparent.
Ce différenciel aurait 'il été abimé par la foudre et serait 'il préférable de le changer.
Dans la maison, l’installation est en triphasé 3X380V +N , il y a entre autres, une pompe de relevage, deux congélateurs et un onduleur avec des PV sur le toit.

Ils sont souvent à l'étranger et ont un peu peur d'avoir une coupure électrique durant plusieurs heures.

Si à votre avis il est préférable de le changer, j'ai lu des réponses de @Cory , parlant de différentiels à réarmement automatique.
Serait 'il une solution.
Mais quand est il s'il y a une fuite sur le circuit de la maison, va t'il réarmer continuellement quitte à créer un problème.

J'ai lu qu'il y avait aussi des HPI, est-ce la même chose.

Merci d'avance de vos réponses.