L'évolution des mammifères après l'extinction des dinosaures : d'abord les muscles, ensuite la cervelle