La fabuleuse histoire de l'océan — Jean-Baptiste de Panafieu, Pierre Royer