Les JO de Londres, c'est bel et bien terminé.