ajout de return_time_microprocessor() dans le hearder