Spots installés dans plafond isolé avec laine de roche.

Bonjour à tous,

Je suis petit nouveau ici car j'ai une question concernant l'installation de spots led dans mon plafond.
il y a deux ans maintenant ma maison a été rénovée, j'ai fais appel à des professionnels pour tout ce qui touche à cette maison, maçon, électricien, etc...

Je viens de tomber sur une vidéo où une personne explique que l'isolant qui se trouve dans le plafond je dois pas être en contact avec les spots led et leurs branchements.

Je viens ici vers vous pour savoir si mon installation est conforme ou pas, donc avant que le maçon ne vienne pour projeter de la laine de roche mon électricien a effectué tous les trous dans le plafond qui est en placo avec une scie cloche.
Ensuite comme tous les câbles électriques se trouvent dans plafond il a laissé pendre les fils et quand tout était ok il a commencé à relier les câbles aux spots led, une fois ces mêmes spots branchés il a remonté le tout et à fait tenir les spots par les deux ressorts ou lamelles (ce qui se trouve sur les spots et qui est classique) ensuite quelques semaines plus tard le maçon est venu pour projeter la laine de roche.

En ce moment si je décroche du plafond un de mes spots led j'ai de la laine de roche qui tombe de ce même plafond.
Est-ce que l'électricien n'aurait pas du installer des boites ou autre isolant pour que le spot et son branchement ne soient pas en contact avec la laine de roche.

Est-ce que je pourrais avoir vos avis car là je ne sais pas faire.
Je vous remercie d'avance pour votre aide et réponse.
Très bon weekend.