« Spider-Man » dépasse le milliard au box-office, un record de l'ère Covid