fonction add_device dans stdio.h

Version imprimable