Par contre: les pétrole ne provient pas des dinosaures, mais plutôt de végétaux non décomposés (les bactéries qui les décomposent étant apparues 60M d'années après les végétaux, qui ne se décomposaient pas à leu mort, mais ont donné avec le temps les carbones fossiles (hydrocarbures). Ou un truc comme ça.
Tu tiens ça d'où? Pour moi, effectivement le pétrole est d'origine végétale mais il y a bien des bactéries impliquées dans la décomposition.