Largeur robuste : une défense adversariale légère et certifiable | Synapse