Philippe Matheron et Paul Gervais : deux pionniers de la découverte et de l'étude des os et des œufs de dinosaures de Provence (France)