Pas de déclaration DDE

Bonjour,
Un copropriétaire demande au syndic d'effectuer des travaux sur des parties communes, suite à des fuites au plafond qu'il a constaté dans son local privatif.
Or Il n' a pas fait de déclaration à son assureur et ne veut pas en faire, puisque dit-il je n'ai pas de dégâts dans les choses entreposées dans ce local.
La convention IRSI stipule que la recherche de fuites est à la charge de l'assureur du local sinistré et donc pas à la charge de la copro.
Or le syndic veut diligenter une recherche de fuite (donc payé par la copropriété) alors qu'aucune constatation n'a été faite et sur les seuls dire du copropriétaire.
Qu'en est il ?
merci de votre éclairage