Des os trouvés par des amateurs ont permis d'identifier le plus grand des reptiles marins