une pocédure qui ne renvoit rien est void