File content as of revision 1:8ce51b11d567:

 #include "mbed.h"
Serial rfid(PC_12, PD_2); //tx, rx
Serial pc(PC_10, PC_11);

int main() 
{
    rfid.baud(9600);//RFID reader operates at 9600 baud
    pc.baud(9600); //speed(baud)
    pc.format(8,Serial::None,1); //format(bits,SerialBase,stop_bits)
    
    int i;
    int RFID_read[15];
    char *RFID_bon = "dc64850d3";
    int RFID;
    char s[50];
    pc.printf("\n\r START \n\r");
        
    while (1) 
    {   
        RFID=0;
        pc.printf("RFID_read1 : \r\n");     
        for(i=0;i<5;i++)
            RFID_read[i]=rfid.getc();
            
       // sprintf(s,"hello=%d%d%d%d%d",RFID_read[0],RFID_read[1],RFID_read[2],RFID_read[3],RFID_read[4]); 
       // pc.printf("%s \r\n",s);      //écrire sur pc           
       // int num = atoi(s);
      //  pc.printf("%d \r\n",num);      //écrire sur pc           

          for(i=0;i<5;i++)
             RFID=RFID+RFID_read[i];
          pc.printf("%d ", RFID);    

    }
}