merge typos jusqu'au 3 juin