Bibliotheque.java fixer