Moi , quand j'arrive dans un stade comme celui-ci ( ils ont joué au Grolsch Veste , aux Pays-Bas , NDLR ) , sur un terrain comme celui-ci , j'ai envie de jouer au football . Il faut toujours s'amuser , si c'est le cas , on aurait dû me le dire avant » Drôle d'ambiance avant de défier les Pays-Bas ce dimanche pour une place sur le podium de la Ligue des nations . Et il ne faudra pas s'étonner si Gigio Donnarumma se retrouve mystérieusement sur le banc au coup d'envoi . AL . Raspberry Pi OS : maintenant en 64 bit pour les Pi 3 , 4 et Zero 2W . C'est désormais officiel , Raspberry PI OS est disponible et téléchargeable en version 64 bit . Le matériel Raspberry Pi est disponible en version 64 bit depuis le lancement du Pi 3 en 2016 . Le Pi OS , anciennement connu sous Raspbian , est quant à lui resté fidèle au 32 bit , à l'exception de la version bêta qui est sortie en 2020 . Mais la nouvelle est tombée début février : le système 64 bit est officiellement lancé pour Pi OS . C'est Gordon Hollingworth , Chef de produit chez Raspberry Pi Ltd , qui en fait l'annonce sur le blog officiel de la fondation : « Au cours de l'année dernière , nous avons testé une version bêta de Raspberry Pi OS en 64 bit . Il est temps de l'ouvrir à un public plus large » , écrit-il . Le système d'exploitation 64 bit est ainsi disponible pour les processeurs Pi 3 , Pi 4 et Pi Zero 2W . Il est disponible sur la page de téléchargements de Raspberry Pi depuis le 2 février dernier . Pour mémoire , le Raspberry Pi est un nano-ordinateur monocarte , de la taille d'une carte de crédit . Il a été conçu par les professeurs d'une université britannique pour démocratiser l'accès aux ordinateurs .