bash 4.2 : application des correctifs