divers modifications mineurs (optimisation)