Reglage temperature atelier

Bonjour,

Je possede un atelier où je travail dedans de 6h30 12h et 13h00 16h30 qui n'est pas tres bien isolé (local industrielle)
Il chauffé par aerotherme (gaz) ayant les consignes suivante :
- de 16h à 5h >> temperature 12°C
- de 5h à 16h >> temperature 20°c

Ce reglage est optimum pour faire des gains d'énérgie ?
Le matin, quand j'arrive, surtout pendant ces periode de froid, il ne fait que 16-17 °C.Toujours dans le même souci, vaut-il mieux jouer sur l'horaire de démarrage ou relever la température de nuit ?

Merci d'avance pour vos réponses.