Le Pilat devrait son nom actuel à Ponce Pilate