Qualité des ardoises naturelles

Bonjour,

Nous avons acheté une maison de 1988 en juillet 2014 avec une toiture en ardoises naturelles.
En 2015, nous souhaitions isoler nos combles et nous nous sommes aperçus que pratiquement la totalité du toit était atteint de pyrite traversante.
Nous nous sommes rapprochés de l'ancien propriétaire pour connaitre la provenance des ardoises.
Il nous a affirmé que c'était de l'ardoises d'Angers premier choix.
Aujourd'hui, personne ne peut nous dire si les trous dans les ardoises pourront engendrer des fuites dans un avenir plus ou moins proche.
Nous avons un devis d'un couvreur qui nous propose de remplacer toutes les ardoises (166m2) en gardant les liteaux existants car d'après lui ils sont en bon état (peut-on vérifier dans les combles).
Il a retenu des ardoises origine Espagne Fonsagrada gamme Primera (A1T1S1) et nous a fourni un certificat NF 5291-3 avec une garantie de 30 ans (fichier PDF scanné).
Nous ne voulons pas que les problèmes de notre toiture réapparaissent d'ici quelques années.
Le commercial nous a garanti que les ardoises choisies ne présentent aucune pyrite et que la qualité supérieure de ces ardoises permettra une longévité bien plus importante.
Quelqu'un connait-il ces ardoises?
Comment vérifier la validité du certificat et comment s'assurer que les ardoises livrées correspondent bien à celles du devis?
Merci d'avance pour vos réponses.