Les grands électeurs votent officiellement pour Joe Biden, une formalité compliquée cette année