L'explorateur et l'exploitant de mines doivent, le cas échéant de travaux à faire sous des maisons ou lieux d'habitation, sous d'autres exploitations ou dans leur voisinage, donner caution de payer toute indemnité en cas de dommage.Les propriétaires intéressés peuvent se constituer en association, dans les conditions de la loi du 1er juillet 1901, pour demander collectivement en justice la constitution de la caution prévue à l'alinéa précédent.Les affaires de cette nature sont instruites et jugées comme en matière sommaire.
Source : Légifrance, base LEGI (DILA), réutilisée sous la Licence Ouverte 2.0 (Etalab). Version consolidée, non officielle.