Proposition discutée lors des débats sur le projet de loi, amendé par le sénat, portant création du conseil des mines (voir la loi du 2 mai 1837)