Découverte d'un fossile de crocodile de plus de 10 millions d'années