Editing another time my proverbes file, to see some errors on push.