le gradient de température dépend hormis de la profondeur, du type de sol et de l'environnement, creusé dans un milieu sédimentaire ne produira pas le même accroissement que dans un milieu "actif".
en général l'accroissement est de ~3 à 4°/100m pour de la roche sédimentaire
pour les mines il semble évident qu'on ne peux pas se permettre une tel hausse de température les systèmes d'aération contibue donc à réduire la température au fond de ces mines.
voilà 