Fix moche de la gestion des whitespaces dans scanf
Ajout kbd_types.h
Ajout de limits.h
Ajout de stdint.h
Implémentation simple gettimeofday().