L'acteur Christopher Lee est mort