Ajout du main (PROPPS.java)