Transformer des feuilles de calcul Google en applications web pratiques : le récit d'un programmeur

2024-12-31
Transformer des feuilles de calcul Google en applications web pratiques : le récit d'un programmeur

Un journaliste d'Ars Technica raconte comment il a transformé de simples feuilles de calcul Google en applications web conviviales pour les téléphones mobiles à l'aide de Glide. Initialement conçue pour simplifier les commandes de plats à emporter, l'application gère les informations des restaurants locaux grâce à des fonctions de recherche et de filtrage efficaces. Il a ensuite développé des applications pour les recettes et l'inventaire du garde-manger, améliorant ainsi son quotidien. L'article met en lumière la puissance des outils sans code et la manière dont des solutions simples peuvent résoudre des problèmes concrets, soulignant l'ingéniosité et la recherche d'une meilleure qualité de vie.

Lire plus

Des casques de RV pour souris font progresser la recherche cérébrale

2024-12-31
Des casques de RV pour souris font progresser la recherche cérébrale

Des chercheurs ont développé MouseGoggles, un casque de réalité virtuelle pour souris de laboratoire, permettant des études immersives de l'activité cérébrale. Utilisant des écrans de smartwatch abordables et de minuscules lentilles, ces lunettes surmontent les limitations des systèmes de projecteurs volumineux précédents. Les souris ont montré des réactions réalistes aux menaces virtuelles, les scanners cérébraux confirmant l'efficacité de l'environnement virtuel. Cette technologie promet des avancées dans la compréhension du fonctionnement du cerveau des mammifères et pourrait aider à la recherche de maladies comme la maladie d'Alzheimer.

Lire plus

Risque de collision SHA sur le commit initial du noyau Linux

2024-12-31

Kees Cook, développeur du noyau Linux, a découvert un commit de documentation du noyau dont l'ID partage les 12 premiers caractères avec le commit initial du dépôt du noyau. Cette collision potentielle pourrait casser plusieurs outils qui dépendent d'ID de commit uniques. Bien qu'il n'ait pas encore été fusionné en amont, ce commit sert de cas de test pour traiter proactivement les collisions SHA et prévenir de futurs problèmes généralisés.

Lire plus
Développement collision SHA

Lightstorm : Un compilateur Ruby minimaliste améliore les performances grâce à MLIR

2024-12-31

L'équipe DragonRuby a développé Lightstorm, un compilateur Ruby minimaliste visant à améliorer les performances de son moteur de jeu multiplateforme. Utilisant MLIR, Lightstorm traduit le bytecode de la machine virtuelle mruby en code C, optimisant les performances en éliminant les opérations de chargement/stockage et les branchements dans la boucle d'interprétation de la VM. Les résultats des benchmarks montrent des améliorations de performances allant de 1% à 1200%, avec une réduction moyenne d'environ 30% du temps d'exécution et des cycles. Bien qu'il ne prenne actuellement en charge qu'un sous-ensemble de Ruby, le projet valide la faisabilité de la précompilation du code Ruby pour des gains de performances. Les plans futurs incluent le remplacement des composants C critiques du moteur par du code Ruby compilé.

Lire plus
Développement Compilateur Ruby

Scène de science-fiction époustouflante créée dans Blender

2024-12-31
Scène de science-fiction époustouflante créée dans Blender

Samuel Pantze, informaticien allemand, a créé une scène de science-fiction époustouflante mettant en scène un vaisseau spatial au-dessus d'une planète en rotation synchrone à l'aide de Blender. Inspiré par la littérature de science-fiction, les vidéos de Melodysheep et l'art conceptuel de Paul Chadeisson, il a habilement utilisé des textures procédurales et des mathématiques de shaders pour générer un modèle de vaisseau spatial réaliste et un arrière-plan planétaire. L'article détaille le processus, de la modélisation et de la texturation du vaisseau spatial à la création de l'arrière-plan planétaire à l'aide d'une approche de shader unique, démontrant ses exceptionnelles compétences en modélisation et rendu 3D.

Lire plus

Sortie de LineageOS 22.1 : extraction 30 fois plus rapide, nouvelles applications musique et PDF

2024-12-31

LineageOS 22.1, basé sur Android 15 QPR1, est désormais disponible avec des améliorations significatives. Les utilitaires d'extraction sont 30 fois plus rapides, et deux nouvelles applications ont été ajoutées : Twelve, un lecteur de musique, et Camelot, un lecteur de PDF. SeedVault, Etar et WebView ont également été mis à jour. La gestion des versions a été ajustée pour s'aligner sur les numéros de version mineurs d'Android, ce qui facilite la distinction entre les versions d'Android. Le projet a simplifié sa base de code, ajouté la prise en charge de davantage de périphériques et encourage les développeurs à contribuer du code et des traductions.

Lire plus
Développement

Types somme et commutateurs minimalistes pour Lua : lua-match

2024-12-31
Types somme et commutateurs minimalistes pour Lua : lua-match

lua-match est une bibliothèque Lua minimaliste fournissant des types somme et une fonctionnalité de commutateur. Elle utilise une fonction d'étiquetage pour une manière propre et efficace de gérer différents types de données et de branchements conditionnels. Avec une simple fonction d'étiquetage et une table de commutation, vous pouvez facilement implémenter un comportement similaire aux types somme et à la correspondance de motifs, simplifiant ainsi considérablement votre code Lua. La bibliothèque est open-source et utilise la licence MIT.

Lire plus
Développement Types somme Commutateur

Un développeur crée un jeu Game Boy Advance en Zig

2024-12-31

Un développeur a créé un jeu 2048 pour Game Boy Advance en utilisant le langage de programmation émergent Zig. L'article souligne les avantages de Zig dans la programmation embarquée, notamment son processus de compilation croisée simplifié, sa gestion efficace de la mémoire (y compris les structures compactées) et sa puissante génération de code à la compilation. L'auteur compare l'expérience de développement en utilisant C++ par rapport à Zig, notant la facilité et l'efficacité de Zig pour gérer la disposition de mémoire particulière de la Game Boy Advance et les registres matériels. Bien que Zig présente quelques inconvénients, tels qu'un support limité pour l'assemblage en ligne et les instructions Thumb, ses nombreux avantages en font un choix idéal pour développer des jeux pour consoles rétro.

Lire plus
Développement Développement Embarqué

Apple TV+ offre un week-end de streaming gratuit

2024-12-30
Apple TV+ offre un week-end de streaming gratuit

Apple propose un accès gratuit à son service de streaming Apple TV+ du 3 au 5 janvier 2025. Cet essai gratuit de trois jours inclut l'accès à la bibliothèque de séries et de films primés d'Apple TV+, donnant aux abonnés potentiels l'occasion de découvrir son contenu, notamment des séries populaires comme Severance (dont la saison 2 sera lancée le 17 janvier), For All Mankind, Silo et Monarch : Legacy of Monsters. Il vous suffit d'un identifiant Apple pour profiter de cette offre.

Lire plus

La Chine construira un réacteur à sel fondu au thorium en 2025

2024-12-30
La Chine construira un réacteur à sel fondu au thorium en 2025

La Chine prévoit de commencer la construction en 2025 d'un réacteur de démonstration à sel fondu au thorium de 10 mégawatts dans le désert de Gobi, avec une mise en service prévue pour 2030. Dirigé par l'Institut de physique appliquée de Shanghai de l'Académie chinoise des sciences, le projet utilise du thorium-232, un élément abondant, en le convertissant en uranium-233 fissile. Cette technologie vise à réduire la dépendance à l'uranium et utilise les déchets de l'extraction des terres rares, offrant un potentiel d'autosuffisance énergétique. Cependant, des défis persistent, notamment le risque de prolifération nucléaire, nécessitant des mesures de sécurité robustes.

Lire plus

Au-delà de la Moyenne des Gradients dans l'Optimisation Parallèle : Robustesse Améliorée grâce au Filtrage d'Accord des Gradients

2024-12-30
Au-delà de la Moyenne des Gradients dans l'Optimisation Parallèle : Robustesse Améliorée grâce au Filtrage d'Accord des Gradients

Cet article présente le Filtrage d'Accord des Gradients (FAG), une nouvelle méthode pour améliorer la moyenne des gradients dans l'optimisation de l'apprentissage profond distribué. Les méthodes traditionnelles moyennent les gradients de micro-lots pour calculer un gradient de macro-lot, mais cela peut conduire à des gradients orthogonaux ou négativement corrélés aux stades ultérieurs de l'entraînement, entraînant un sur-apprentissage. Le FAG réduit la variance du gradient en calculant la distance cosinus entre les micro-gradients et en filtrant les mises à jour conflictuelles avant la moyenne. Les expériences sur des benchmarks de classification d'images tels que CIFAR-100 et CIFAR-100N-Fine montrent que le FAG améliore significativement la précision de validation, même avec des tailles de micro-lots plus petites, atteignant jusqu'à 18,2 % d'amélioration par rapport aux approches traditionnelles tout en réduisant le coût de calcul.

Lire plus

Pourquoi Linux n'est toujours pas prêt pour le bureau ?

2024-12-30

Cet article explore les raisons profondes pour lesquelles Linux n'a pas encore atteint une adoption généralisée sur le bureau. L'auteur souligne plusieurs problèmes clés : la mauvaise compatibilité des logiciels entre les distributions, les mises à jour fréquentes entraînant des bogues et des régressions, un financement insuffisant entraînant une qualité de logiciel inférieure, un support inadéquat des pilotes matériels et des défis de communication au sein de la communauté Linux. Bien que Linux excelle dans les environnements serveur, sa présence sur le bureau reste entravée par ces obstacles persistants, ce qui entrave sa capacité à concurrencer efficacement les systèmes d'exploitation établis comme Windows.

Lire plus

Performance des LLM sur Advent of Code 2024 : Une Surprise

2024-12-30
Performance des LLM sur Advent of Code 2024 : Une Surprise

Cet article détaille une expérience testant plusieurs grands modèles de langage (LLM) sur le défi Advent of Code 2024. Étonnamment, les LLM ont obtenu des résultats moins bons que prévu, surpassant même l'auteur. Un cadre simple a été utilisé, fournissant aux modèles la description complète du problème et exigeant un code Python exécutable. Les résultats ont montré des dépassements de délai et des exceptions fréquentes, suggérant que les LLM excellent dans la résolution de problèmes familiers, mais ont du mal avec des problèmes nouveaux. Cette limitation pourrait provenir de la dépendance à des modèles de programmes, de ressources informatiques insuffisantes ou d'une invite sous-optimale. L'expérience met en évidence Advent of Code comme un potentiel benchmark pour l'évaluation d'agents de codage.

Lire plus

Tournoi de polices de code : Source Code Pro remporte la victoire

2024-12-30
Tournoi de polices de code : Source Code Pro remporte la victoire

John Gruber, de Daring Fireball, met en avant un amusant « tournoi » de sélection de polices de code créé par Typogram. Les utilisateurs choisissent leur préférée parmi 32 polices mono-espacement gratuites. Bien que certaines options populaires, comme Consolas, soient absentes, et que certaines polices incluses soient moins attrayantes, il s'agit d'un exercice valable. Des améliorations depuis son lancement initial incluent un exemple de code JavaScript au lieu de CSS et une sélection plus large de polices. Gruber recommande de désactiver les noms des polices pour réduire les biais. Sa gagnante constante ? Source Code Pro d'Adobe, avec IBM Plex Mono en deuxième position.

Lire plus
Développement polices de code

RubyConf 2024 : Hackday sur les Buildpacks natifs du cloud

2024-12-30
RubyConf 2024 : Hackday sur les Buildpacks natifs du cloud

Richard Schneeman organise un hackday sur les Buildpacks natifs du cloud (CNB) à la RubyConf 2024 pour aider les développeurs à apprendre et à contribuer aux outils de déploiement Ruby. L'événement propose des tâches de difficulté variable, de la modification de buildpacks existants à la création de nouveaux, pour tous les niveaux de compétence. Même si vous ne pouvez pas assister en personne, vous pouvez toujours participer en utilisant les ressources fournies.

Lire plus

Il était une fois dans l'Ouest : La scène légendaire de la mouche

2024-12-30

Dans le chef-d'œuvre de Sergio Leone, *Il était une fois dans l'Ouest*, une séquence d'ouverture légendaire se distingue : Jack Elam et une mouche. Cette scène d'environ 100 secondes met en valeur le jeu d'acteur magistral d'Elam, utilisant des expressions faciales et des gestes subtils pour dépeindre la malice sournoise du personnage. La mouche sert de véhicule à Elam pour montrer son intensité caractéristique « aux yeux globuleux », transformant une interaction simple en une puissante déclaration sur la personnalité du personnage et le style cinématographique. La scène, plus qu'un simple élément de l'intrigue, est une vitrine de la présence emblématique d'Elam à l'écran.

Lire plus
Jeux

Mocks de bases de données : plus de problèmes qu’ils n’en valent la peine ?

2024-12-30
Mocks de bases de données : plus de problèmes qu’ils n’en valent la peine ?

S’il est tentant de les utiliser pour leur rapidité et leur simplicité, l’auteur soutient que l’utilisation de mocks de bases de données pour les tests finit par engendrer plus de problèmes qu’elle n’en résout. Un exemple de création d’utilisateur met en évidence les différences entre les mocks et les tests effectués sur une base de données réelle. Les tests sur une base de données réelle révèlent des problèmes potentiels dès le départ, tels que les violations de contraintes uniques, la gestion des valeurs par défaut et les goulots d’étranglement de performance, ce qui permet de gagner du temps de débogage et de réduire les risques de production. À mesure que les applications évoluent et que les schémas changent, les tests sur une base de données réelle gèrent mieux les nouvelles validations, les modifications de type de données et les changements de précision des horodatages, en garantissant que le code est aligné sur la base de données réelle. L’auteur suggère de privilégier les tests sur une base de données réelle pour les couches d’accès aux données, tout en les utilisant au niveau de la couche de service pour mettre en évidence les interactions de la logique métier avec les données. Les couches de contrôleurs, en revanche, peuvent simuler efficacement les appels de service. L’équilibre entre les tests sur une base de données réelle et les mocks est essentiel pour construire des applications robustes.

Lire plus

Protocole réseau Homa : un nouveau défi pour TCP/UDP

2024-12-30

Homa est un nouveau protocole de transport réseau conçu pour les applications de centre de données, visant à réduire la surcharge de transmission de nombreux petits messages. Contrairement à TCP/UDP traditionnel, il élimine la configuration de connexion, utilisant un mécanisme unique de demande-réponse et des files d'attente prioritaires pour minimiser la latence. Actuellement, Homa tente d'être intégré au noyau Linux, mais son avenir pourrait fortement dépendre de l'accélération matérielle dans les équipements réseau.

Lire plus

Crash aérien en Corée du Sud : 179 morts, deuil national et examen de sécurité

2024-12-30
Crash aérien en Corée du Sud : 179 morts, deuil national et examen de sécurité

Un Boeing 737-800 de la compagnie aérienne Jeju Air, transportant 181 passagers, s'est écrasé à l'aéroport de Muan en Corée du Sud, faisant 179 morts. Il s'agit du pire désastre aérien du pays depuis des décennies. L'accident survient dans un contexte de troubles politiques suite à la destitution du président et du Premier ministre, soulevant des inquiétudes quant à la capacité du gouvernement à gérer efficacement la crise. La Corée du Sud a ordonné des inspections de sécurité de tous les avions 737-800 et un examen complet des normes de sécurité de Jeju Air. Les enquêteurs examinent des facteurs tels qu'une possible défaillance du train d'atterrissage, une possible défaillance hydraulique et la conception de sécurité des barrières de la piste de l'aéroport. Cette tragédie a entraîné une période de deuil national de sept jours et a mis en évidence la nécessité d'améliorer la sécurité aérienne et les capacités de réponse aux catastrophes.

Lire plus

Progrès technologique et apprentissage des enfants : l’évolution d’un ordinateur

2024-12-30

L’auteur raconte l’expérience de sa fille qui apprend à utiliser un ordinateur, en la comparant à ses propres expériences d’enfance. Autrefois, les micro-ordinateurs simples 8 bits, comme l’Apple IIe, permettaient aux enfants d’explorer de manière autonome la programmation BASIC et d’apprendre les principes du matériel. Aujourd’hui, les ordinateurs puissants offrent des ressources abondantes, mais leur complexité rend l’auto-apprentissage difficile pour les enfants. L’auteur craint que l’environnement Internet ne limite l’exploration indépendante des enfants et que les parents dépourvus de compétences en programmation ne puissent guider l’apprentissage de leurs enfants, appelant à une attention particulière à l’équité de l’apprentissage des enfants à l’ère numérique.

Lire plus

Évaluation des capacités de génération de code des LLMs : Présentation de MultiCodeBench

2024-12-30
Évaluation des capacités de génération de code des LLMs : Présentation de MultiCodeBench

Les assistants de programmation basés sur l’IA et alimentés par des grands modèles de langage (LLM) de code sont devenus de plus en plus répandus, augmentant considérablement la productivité des développeurs. Cependant, les benchmarks existants de génération de code se concentrent principalement sur des scénarios à usage général, laissant les performances des LLM dans des domaines d’application spécifiques largement inconnues. Cet article présente MultiCodeBench, un nouveau benchmark composé de 2 400 tâches de programmation dans 12 domaines populaires de développement de logiciels et 15 langages de programmation. Des expériences sur onze LLM principaux révèlent leurs performances en matière de génération de code dans différents domaines, offrant des informations pratiques aux développeurs pour la sélection des LLM et des conseils aux développeurs de modèles pour améliorer les capacités de génération de code spécifiques à un domaine.

Lire plus
Développement Génération de Code

Une Cour d'appel de Floride rejette une initiative sur le droit à l'eau propre

2024-12-30
Une Cour d'appel de Floride rejette une initiative sur le droit à l'eau propre

Une cour d'appel de Floride a statué contre une initiative de Titusville visant à établir le droit à une eau propre, malgré l'approbation de 83 % des électeurs. La cour a invoqué une loi de l'État de 2020 interdisant aux administrations locales d'accorder des droits aux masses d'eau, ce qui a préempté la mesure locale. Cette décision met en évidence la tension continue entre les gouvernements étatiques et locaux sur la protection de l'environnement en Floride et souligne les limites de l'action locale face à une législation étatique contradictoire.

Lire plus

L'IA résout l'énigme de l'équilibreur de convoyeurs de Factorio

2024-12-30
L'IA résout l'énigme de l'équilibreur de convoyeurs de Factorio

Cet article de blog décrit le parcours de l'auteur pour automatiser la conception des équilibreurs de convoyeurs de Factorio, un problème notoirement complexe. Utilisant des solveurs de Programmation en Nombres Entiers Mixte (MIP) et de Programmation par Contraintes SAT (CP-SAT), l'auteur a relevé le défi. Alors que le modèle MIP a eu du mal avec l'instabilité numérique pour les équilibreurs plus grands, l'approche CP-SAT, utilisant la discrétisation des flux et intégrant les réseaux de Banes et l'optimisation de la mémoire, a résolu avec succès la conception d'un équilibreur 16x16 - un exploit pratiquement impossible à réaliser à la main. Le processus souligne le rôle crucial des techniques de modélisation, de la sélection des algorithmes et des stratégies d'optimisation pour obtenir des solutions efficaces.

Lire plus

Contourner le chiffrement BitLocker sur Windows 11 via un vidage mémoire

2024-12-30

Cet article montre comment contourner le chiffrement BitLocker sur Windows 11 en extrayant la clé de chiffrement de volume complet (FVEK) de la mémoire. En accédant physiquement à l'appareil et en le redémarrant brutalement, un attaquant peut capturer le contenu de la RAM, qui peut contenir la FVEK. L'auteur utilise une application UEFI, Memory-Dump-UEFI, pour y parvenir. Le processus consiste à créer une clé USB bootable, à redémarrer le système de force, à démarrer à partir de la clé USB, à analyser le vidage mémoire et à utiliser les tags de pool pour localiser la FVEK. L'article détaille ces étapes et souligne l'utilisation d'outils comme dislocker pour déverrouiller la partition protégée par BitLocker. La méthode n'est pas infaillible et dépend de plusieurs facteurs, tels que la vitesse du vidage mémoire et le moment du redémarrage.

Lire plus

La startup de comptabilité Bench acquise après une fermeture soudaine

2024-12-30
La startup de comptabilité Bench acquise après une fermeture soudaine

Bench, la startup de comptabilité soutenue par des investisseurs qui a fermé ses portes brutalement la semaine dernière, empêchant des milliers de clients d'accéder à leurs comptes, a été rachetée par Employer.com pour un prix non divulgué. Employer.com, une entreprise de technologie RH basée à San Francisco et spécialisée dans la paie et l'intégration, relancera la plateforme de Bench. Les clients pourront transférer leurs données ou poursuivre le service sous la nouvelle propriété. La recommandation précédente pour les clients de demander une prolongation de six mois auprès de l'IRS n'est plus nécessaire s'ils choisissent de rester avec le service.

Lire plus

Un hacker répare à distance un satellite inactif : Beesat-1 de retour en service

2024-12-30
Un hacker répare à distance un satellite inactif : Beesat-1 de retour en service

Le satellite de test Beesat-1 de la TU Berlin, lancé en 2009, a cessé de fonctionner en 2013. Lors de la conférence 38C3, le hacker PistonMiner a révélé comment il a réussi à le remettre en service à distance. Ayant identifié un bug logiciel, et non une défaillance matérielle, comme cause du problème, PistonMiner a utilisé un modèle de test terrestre baptisé « Frankenstein-Beesat » pour le débogage. Une mise à jour logicielle a restauré les fonctionnalités, et a même réactivé une caméra embarquée que l'on pensait hors service. Cet exploit a non seulement redonné vie au petit satellite, mais offre également un modèle pour la réparation d'autres satellites défaillants.

Lire plus

ts_zip : Compression de texte avec des grands modèles de langage

2024-12-30

Fabrice Bellard a publié ts_zip, un outil de compression de texte utilisant le grand modèle de langage RWKV 169M v4 pour atteindre des taux de compression bien supérieurs à ceux des outils traditionnels. Bien qu'il nécessite une GPU et 4 Go de RAM, et qu'il soit plus lent que les compresseurs classiques (jusqu'à 1 Mo/s sur une RTX 4090), ts_zip montre une compression impressionnante sur les textes anglais et d'autres langues, y compris le code source. Le ratio de compression est mesuré en bits par octet (bpb), les résultats montrant des performances supérieures à xz sur des jeux de données comme enwik8 et enwik9. L'évaluation déterministe du modèle garantit une décompression cohérente sur différentes configurations matérielles et logicielles.

Lire plus
Développement compression de texte

Percée dans l'évaluation des grands modèles de langage pour la génération de tests unitaires

2024-12-30
Percée dans l'évaluation des grands modèles de langage pour la génération de tests unitaires

Des chercheurs ont mené une évaluation complète du potentiel des grands modèles de langage (LLM) dans l'automatisation de la génération de tests unitaires. Ils ont comparé les performances de cinq LLM open source au GPT-4 propriétaire et à l'outil traditionnel Evosuite sur 17 projets Java, en étudiant l'impact de différentes stratégies d'invite. L'étude a révélé que les LLM open source offrent des avantages en matière de confidentialité des données et surpassent les autres dans certaines tâches, mais a également mis en évidence les limites de la génération de tests unitaires basée sur les LLM. Cette recherche fournit des informations précieuses pour guider les futures applications des LLM dans ce domaine.

Lire plus

Nvidia open-source Run:ai après une acquisition de 700 millions de dollars

2024-12-30
Nvidia open-source Run:ai après une acquisition de 700 millions de dollars

Nvidia a finalisé son acquisition de Run:ai, une société de logiciels qui simplifie l'orchestration des nuages de GPU pour l'IA, pour 700 millions de dollars, et a immédiatement rendu le logiciel open-source. Cette décision est probablement une réponse stratégique aux préoccupations antitrust, permettant un accès plus large à la technologie et atténuant les problèmes réglementaires potentiels liés à la domination du marché de Nvidia. Le logiciel de Run:ai aidera les entreprises à gérer efficacement les ressources GPU pour le développement de l'IA, favorisant la croissance au sein de l'écosystème de l'IA.

Lire plus
IA

Un YouTuber gagne une bataille DMCA contre un faux avocat de Nintendo

2024-12-30
Un YouTuber gagne une bataille DMCA contre un faux avocat de Nintendo

Le YouTuber allemand Domtendo a été confronté à des demandes de retrait DMCA d'un faux avocat de Nintendo, menaçant son canal de 17 ans. En remarquant l'utilisation par l'avocat d'une adresse e-mail ProtonMail et en contactant directement Nintendo, Domtendo a exposé la fraude. Nintendo a confirmé l'illégalité de l'e-mail, ce qui a conduit au retrait des revendications. Cet incident met en évidence les lacunes du système DMCA de YouTube et la prévalence des abus de droits d'auteur, entraînant des appels à la réforme des politiques.

Lire plus
1 2 555 556 557 559 561 562 563 595 596