Droit des mines — Jean Personnaz, Jean Personnaz