/** Definitions for serial port **/
  

  void init_printf(void); // Met le BD à 9600  
  

  void init_serial(int speed);

  
  void send_serial(char c); //Envoi via UDR0
  char get_serial(void); // Recupère UDR0