ajout printf complet normalement et mini_sh1