Le Corps des mines et la géologie, deux siècles de relations