public void afficher_emploi_metier()
 {
     foreach (int i in emploi_ids)
     {
         Class_emploi_metier metier = Class_Database_app.get_emploi_metier_by_id(i);
         richTextBox_emploi_metier.Text += metier.emploi_metier + "\n";
     }
 }