La belle aventure de l'océan — Jean-Baptiste de Panafieu, Pierre Royer