A little history of Petit-Pont