void 
charge_image_ppm (const char* filename, int width, int height, int image[]);

void 
enregistre_image_ppm (const char* filename, int width, int height, const int image[]);