Un fósil robado permite describir una nueva especie de cocodrilo en los Pirineos