patch mardi octobre 2020