Jacky Terrasson was born as Jacques-Laurent Terrasson.