Sadi Carnot är bekant t den trrdjerepublikens