public void afficher_tel()
 {
     foreach (int i in telephone_ids)
     {
         Class_telephone tel = Class_Database_app.get_telephone_by_id(i);
         richTextBox_telephone.Text += "Tel : 0" + tel.numero.ToString() + "\n";
     }
 }