mitterand)