Prise en charge de la redondance du processeur