« Une horloge atomique en mer » : l’installation réussie sur le HMS Puncher marque une première mondiale dans la navigation