Je dirais que si ton HDD 7200t est un peu vieux, ca peut etre un peu tendu, mais ce n'est pas parceque c'est un 12" que ce sera plus tendu que sur un 17", ca change rien en fait. Tous les dd portables sont dépourvu de refroidissement.
Sinon, si c'est un dd récent, sache qu'ils ne chauffent presque pas plus, certain chauffe meme moins que certain 5400t.