Histoire de l'ingénierie géomécanique jusqu'à 1700 — Jean Kérisel