manuel du règlement minier bibliothèque ouverte