Ground deformations induced on a coast by the attack of a tsunami