Update encodage.java