Il y a plus de 9 000 ans au Brésil, des hommes ont gravé des œuvres d’art à quelques centimètres d’empreintes de dinosaures