Tags populaires：
Virtualisation sécurité DNS vérification formelle analyse d'atteignabilité erreurs du compilateur conflit de macro extension web framework de développement Graphiques bitmap incohérences d'API Tous les tags

Surcharge de l'abstraction lambda en Haskell : une approche élégante pour la conception d'EDSL

2024-12-30
Surcharge de l'abstraction lambda en Haskell : une approche élégante pour la conception d'EDSL

Cet article présente une nouvelle méthode pour surcharger l'abstraction lambda en Haskell afin de construire des langages de domaine spécifiques intégrés (EDSL). En utilisant intelligemment un type `Port` et les fonctions `encode`/`decode`, l'auteur traduit élégamment les fonctions Haskell en morphismes au sein d'une catégorie personnalisée. Cela donne une syntaxe concise et intuitive, évitant les complexités des abstractions Arrow et de la notation proc. L'approche nécessite un minimum de code Haskell et aucune métaprogrammation ni aucun plugin de compilateur. Un exemple d'EDSL de diagramme de flux illustre l'application de la méthode, avec des discussions sur la prévention des duplications et la gestion des effets secondaires.

Lire plus
(acatalepsie.fr)
Développement Abstraction Lambda

Keeling Labs : Pionnier du ML pour le contrôle énergétique complexe

2025-01-17
Keeling Labs : Pionnier du ML pour le contrôle énergétique complexe

Keeling Labs est une startup basée à Venice, Los Angeles, qui utilise le machine learning pour résoudre des problèmes de contrôle complexes dans le secteur de l'énergie. L'équipe possède une expérience provenant d'entreprises comme Rivian et DeepMind, et travaille en présentiel dans un environnement collaboratif axé sur le brainstorming et le travail sur tableau blanc. Si vous êtes passionné par le trading d'énergie et le machine learning et que vous souhaitez rejoindre une startup en pleine croissance, Keeling Labs pourrait être la solution idéale.

Lire plus
(www.keelinglabs.com)
Startup négociation d'énergie

Les villes ennuyeuses vous rendent malades

2025-01-02
Les villes ennuyeuses vous rendent malades

De nouvelles recherches révèlent qu'un design urbain monotone et peu stimulant n'est pas seulement désagréable à regarder ; il nuit activement à la santé des résidents. L'article souligne l'écart entre les besoins humains et l'urbanisme du XXe siècle, ce qui entraîne une augmentation des taux de dépression, de cancer et de diabète. Les progrès de la neuroscience et de la recherche neuroarchitecturale, utilisant des technologies portables pour mesurer les réponses aux environnements, fournissent des preuves concrètes de ce lien. Les villes progressistes intègrent désormais le bien-être dans leurs stratégies économiques, et l'industrie de la construction commence à intégrer ces conclusions neuroscientifiques dans la conception des bâtiments, en priorisant la santé humaine parallèlement aux considérations structurelles et énergétiques. Ce changement promet un avenir d'espaces urbains plus joyeux et plus stimulants.

Lire plus
(www.wired.com)
Design aménagement urbain

Le monde est-il en train de devenir inassurable ? Changement climatique et risque systémique

2025-01-17
Le monde est-il en train de devenir inassurable ? Changement climatique et risque systémique

Cet article explore la possibilité croissante que le monde devienne inassurable en raison de la montée des risques globaux. L'auteur commence par son expérience personnelle de ne pas pouvoir obtenir d'assurance contre les ouragans, soulignant l'augmentation de la fréquence des événements météorologiques extrêmes due au changement climatique, obligeant les compagnies d'assurance à se retirer des zones à haut risque ou à augmenter considérablement les primes. L'article critique la dépendance à des solutions purement politiques ou technologiques, arguant que les mandats gouvernementaux obligeant les assureurs à fournir une couverture sont insoutenables et mèneront en fin de compte les contribuables à assumer des pertes massives. Des précédents historiques de troubles sociaux causés par le climat sont examinés, soulignant comment la mentalité actuelle de « possibilités illimitées » ignore les contraintes imposées par la nature. L'article conclut que le monde est en train de devenir inassurable parce que de nombreuses choses considérées comme acquises ne sont plus économiquement viables, et les risques systémiques croissants sont hors de portée des solutions purement politiques ou technologiques.

Lire plus
(charleshughsmith.substack.com)
Technologie risque systémique

L'histoire secrète de Bogus Software : L'histoire inédite des premiers développeurs de jeux de Microsoft

2025-01-02

Dans les années 1980, un groupe de programmeurs Microsoft a secrètement créé "Bogus Software", un studio de jeux clandestin. Ils ont développé des jeux emblématiques comme le Démineur et le Solitaire, ainsi que d'autres titres moins connus. Initialement des projets internes, beaucoup ont ensuite été intégrés au Windows Entertainment Pack. Cet article détaille l'histoire de Bogus Software, ses membres, les jeux qu'ils ont créés et les histoires fascinantes qui les entourent.

Lire plus
(minesweepergame.com)
Jeux Histoire de Microsoft culture de la programmation

L'assistant de codage Gemini de Google intègre des outils tiers

2024-12-20
L'assistant de codage Gemini de Google intègre des outils tiers

Google a annoncé la prise en charge d'outils tiers dans Gemini Code Assist, son service de complétion de code IA pour les entreprises. Cela permet l'intégration d'outils tels que Jira, GitHub et Sentry via des plugins, réduisant ainsi les changements de contexte et augmentant la productivité des développeurs. Actuellement en préversion privée pour les partenaires Google Cloud, cette fonctionnalité est en concurrence directe avec GitHub Copilot Enterprise, bien que Google souligne des avantages tels que la prise en charge des bases de code sur site. L'ajout d'outils vise à rationaliser les workflows et à améliorer l'efficacité des développeurs.

Lire plus
(techcrunch.com)
Développement assistant de codage IA intégration d'outils tiers

La tyrannie de l'absence de structure : dynamiques de pouvoir dans le mouvement de libération des femmes

2025-01-22

Cet article examine les pièges des formes organisationnelles « sans structure » dans le mouvement de libération des femmes. Jo Freeman soutient que les groupes apparemment sans structure développent inévitablement des structures de pouvoir informelles, conduisant à l'élitisme et à l'exclusion. L'absence de structures formelles entraîne des processus de prise de décision opaques, le pouvoir étant concentré entre les mains de quelques-uns, laissant la majorité confuse. L'auteure préconise des structures organisationnelles formelles et démocratiques pour garantir une répartition équitable du pouvoir et la responsabilisation, proposant des principes de structuration démocratique tels que la délégation de pouvoir, la responsabilité, le pouvoir distribué et le partage de l'information afin de favoriser le développement sain du mouvement de libération des femmes.

Lire plus
(www.jofreeman.com)
Startup libération des femmes structure organisationnelle dynamiques de pouvoir

Benchmark AMD MI300X contre Nvidia H100/H200 : le fossé CUDA persiste

2024-12-22
Benchmark AMD MI300X contre Nvidia H100/H200 : le fossé CUDA persiste

SemiAnalysis a réalisé un benchmark indépendant de cinq mois de l'AMD MI300X contre les Nvidia H100 et H200. Bien que le MI300X présente des avantages théoriques en termes de performances et de coût total de possession (TCO), les résultats réels sont restés très en deçà des attentes en raison de défauts dans la pile logicielle publique d'AMD et de tests insuffisants. Le logiciel d'AMD s'est avéré problématique, nuisant à la convivialité et entraînant des performances inférieures à celles des offres Nvidia pour la plupart des benchmarks. Malgré les améliorations apportées par les ingénieurs d'AMD, la pile logicielle reste sous-développée, laissant le fossé CUDA intact. Cette analyse approfondie fournit des recommandations concrètes pour qu'AMD améliore son logiciel et sa compétitivité.

Lire plus
(semianalysis.com)
Matériel Benchmark GPU

uBlock Origin : Un bloqueur de contenu efficace

2024-12-23
uBlock Origin : Un bloqueur de contenu efficace

uBlock Origin (uBO) est un bloqueur de contenu efficace et léger pour les navigateurs Chromium et Firefox. Il bloque par défaut les publicités, les trackers, les mineurs de cryptomonnaies et les logiciels malveillants, en utilisant des listes de filtres comme EasyList et EasyPrivacy. Les utilisateurs peuvent personnaliser les règles de blocage et choisir entre une interface simple ou avancée. Il est important de noter que l'utilisation d'un bloqueur n'est pas un vol, mais un moyen de protéger la vie privée de l'utilisateur. Le projet est open-source et repose sur des listes de filtres maintenues par la communauté.

Lire plus
(github.com)
Développement bloqueur de publicités

QuicklyPDF : Votre solution tout-en-un pour les PDF en ligne

2025-01-03
QuicklyPDF : Votre solution tout-en-un pour les PDF en ligne

QuicklyPDF est une plateforme en ligne gratuite et facile à utiliser qui propose une suite complète d'outils PDF. Des opérations de base comme la fusion, la rotation, la suppression, le réarrangement, la compression et l'extraction de pages, aux fonctionnalités avancées telles que la conversion en niveaux de gris et la réparation de PDF, QuicklyPDF s'occupe de tout. Il prend en charge les conversions entre PDF et divers formats, notamment JPG, PNG, BMP, TIFF, Word, PowerPoint, TXT et Excel. Les fonctionnalités de sécurité incluent la protection par mot de passe et le déverrouillage. Que vous soyez un particulier ou une entreprise, QuicklyPDF rationalise votre flux de travail PDF.

Lire plus
(quicklypdf.com)
Divers outils PDF outils en ligne conversion PDF

Rétrospective du développement de jeux vidéo 2024 : leçons tirées de projets inachevés

2025-01-16
Rétrospective du développement de jeux vidéo 2024 : leçons tirées de projets inachevés

Un développeur de jeux vidéo indépendant revient sur son année 2024, une année riche en défis. Il a travaillé sur trois projets différents : un RPG multijoueur au tour par tour, un jeu de simulation de puzzle et un jeu de tir à défilement horizontal coopératif. Bien qu’aucun de ces projets n’ait été terminé, il en a tiré des leçons précieuses sur la gestion de la portée, les mécanismes multijoueurs et les besoins en graphismes. Les principaux enseignements : commencer petit, se concentrer sur une boucle de jeu solide et peaufiner plus tard. Même si 2024 s’est terminée sans jeu fini, des progrès significatifs ont été accomplis, jetant les bases pour 2025 et au-delà.

Lire plus
(georgeallen.dev)
Jeux développement de jeux vidéo jeu indépendant leçons apprises

RT-2 : Transfert de connaissances Web vers le contrôle robotique grâce aux modèles Vision-Langage-Action

2025-01-01
RT-2 : Transfert de connaissances Web vers le contrôle robotique grâce aux modèles Vision-Langage-Action

Des chercheurs de Google DeepMind ont développé RT-2, un modèle qui exploite des données vision-langage à l'échelle d'Internet pour contrôler des robots. En représentant les actions robotiques sous forme de jetons textuels et en co-affinant des modèles vision-langage de pointe avec des données de trajectoire de robots et des tâches vision-langage à l'échelle d'Internet, RT-2 atteint une généralisation remarquable. Il comprend des commandes complexes, effectue un raisonnement sémantique en plusieurs étapes et utilise même des outils improvisés, comme utiliser une pierre comme marteau. Cette recherche met en évidence l'immense potentiel de la combinaison des capacités des grands modèles de langage avec le contrôle robotique, marquant un progrès significatif dans le domaine de la robotique.

Lire plus
(robotics-transformer2.github.io)
IA Modèle Vision-Langage

L'ascension et la chute de la grandiose gare Penn de New York

2024-12-21
L'ascension et la chute de la grandiose gare Penn de New York

Inaugurée en 1910, la gare Penn de New York, s'étendant sur huit acres, était une merveille architecturale, une porte d'entrée classique de la ville. Son hall d'attente, inspiré des thermes romains, s'élevait à 148 pieds de haut. Pourtant, seulement 54 ans plus tard, cette magnifique gare a été démolie, remplacée par l'actuel pôle de transport largement critiqué. Cet article retrace l'histoire de la gare, de sa conception et de sa construction par McKim, Mead, & White à sa démolition controversée, en soulignant l'évolution du paysage des transports et l'impact sur les efforts de développement urbain et de préservation. La perte de la gare Penn a conduit à la création de la Commission de préservation des monuments.

Lire plus
(ny.curbed.com)
Divers Gare Penn Histoire de l'architecture Aménagement urbain

Vérification formelle de l'algorithme de division longue avec la logique de Hoare

2025-02-26
Vérification formelle de l'algorithme de division longue avec la logique de Hoare

Cet article présente une vérification formelle détaillée de l'algorithme de division longue utilisant la logique de Hoare. L'auteur détaille méticuleusement la preuve, en employant des triplets de Hoare, des axiomes d'affectation, des axiomes de composition, des axiomes conditionnels et l'axiome de boucle while pour démontrer la correction de l'algorithme. L'article offre une explication claire de l'application de la logique de Hoare, illustrant la complexité du processus de preuve avec un exemple concret et soulignant l'importance de la vérification formelle dans le développement de logiciels.

Lire plus
(www.cofault.com)
Développement logique de Hoare

Libero : Libérez votre potentiel de programmation !

2024-12-28

Libero, un outil logiciel gratuit d'iMatix, permet aux programmeurs d'écrire de meilleurs programmes. Il utilise des diagrammes d'état visuels pour la conception de programmes, prend en charge plusieurs langages (y compris C, Java, PHP) et génère des frameworks de programmes pour un prototypage rapide. Basé sur la licence publique générale GNU, le code source de Libero est ouvert et librement disponible pour utilisation et amélioration. Des licences commerciales sont disponibles pour le support et les mises à jour, mais le cœur de Libero reste gratuit.

Lire plus
(imatix-legacy.github.io)
Développement outil de programmation

Démarrage rapide avec TideCloak : application React sécurisée en 10 minutes

2024-12-19
Démarrage rapide avec TideCloak : application React sécurisée en 10 minutes

TideCloak est un système de gestion des identités et des accès facile à utiliser, basé sur Keycloak et sécurisé par la structure de cybersécurité de Tide. Ce guide vous montre comment créer une application React monopage sécurisée avec TideCloak en moins de 10 minutes. Tout d’abord, installez Docker et NPM, puis exécutez le conteneur Docker TideCloak-Dev. Après avoir activé une licence gratuite pour les développeurs, créez votre projet React, installez les dépendances et exécutez l’application. Les utilisateurs peuvent se connecter, s’inscrire et afficher du contenu personnalisé en fonction des rôles prédéfinis, le tout géré par TideCloak et protégé par la structure de cybersécurité de Tide.

Lire plus
(github.com)
Développement Gestion des identités

Gestionnaire de fichiers ultra-rapide : panneaux, onglets et recherche puissants personnalisables

2025-02-18
Gestionnaire de fichiers ultra-rapide : panneaux, onglets et recherche puissants personnalisables

Ce gestionnaire de fichiers propose des dispositions de panneaux et d'onglets personnalisables avec une fonctionnalité de glisser-déposer pour une gestion aisée des fichiers. Sa recherche en millisecondes analyse des disques entiers, améliorée par une recherche floue et un filtrage par extension de fichier. Il offre également un aperçu du contenu des fichiers, un renommage par lots, un accès rapide aux chemins courants, une palette de commandes avec des raccourcis personnalisables, un menu contextuel et une apparence personnalisable, améliorant considérablement l'efficacité de la gestion des fichiers.

Lire plus
(filepilot.tech)
Développement efficace

API SimplexDocsPlaygroundRequest : Aperçu de l'exécution du code

2025-01-15

L'API SimplexDocsPlaygroundRequest fournit des fonctionnalités d'exécution et d'aperçu de code. Les utilisateurs soumettent du code au serveur via cette API, qui exécute le code et renvoie les résultats, ainsi qu'un aperçu du processus d'exécution. Ceci est utile pour les développeurs qui déboguent du code, testent des API et créent rapidement des prototypes. L'API est en cours de chargement ; les résultats seront disponibles après l'exécution du code.

Lire plus
(www.simplex.sh)
Développement Exécution de code Aperçu

Vérificateur de texte alternatif gratuit : Améliorez l'accessibilité et le référencement de votre site web

2025-01-11

Cet outil gratuit de vérification de texte alternatif vous aide à vérifier rapidement si les images de votre site web incluent un texte alternatif. Le texte alternatif améliore l'accessibilité du site web pour les utilisateurs malvoyants et booste le référencement (SEO). L'outil analyse automatiquement les pages web, trouve les descriptions de texte alternatif manquantes et génère un rapport pour vous aider à améliorer l'inclusion et la convivialité de votre site web.

Lire plus
(alttextgenerator.co)
Développement accessibilité du site web texte alternatif

Des policiers du Kentucky tuent un homme innocent lors d'une descente illégale

2025-01-06
Des policiers du Kentucky tuent un homme innocent lors d'une descente illégale

La police du Kentucky a abattu Douglas Harless, 63 ans, lors d'une descente illégale dans la mauvaise maison. Malgré le fait que les opérateurs aient fourni la bonne adresse au moins cinq fois, les agents ont fait une descente au 511 Vanzant Rd. au lieu du 489 Vanzant Rd. prévu, entraînant la mort de Harless. La police affirme que Harless a brandi une arme, mais l'incident soulève de sérieuses questions sur la procédure policière, le manque de surveillance avant la descente et rappelle l'affaire Breonna Taylor, suscitant de nouvelles inquiétudes concernant les brutalités policières.

Lire plus
(atlantablackstar.com)
Divers brutalités policières mort injustifiée faute professionnelle de la police

L'organisation allemande de censure secrète CUII exposée : un pouvoir incontrôlé sur le blocage des sites web

2024-12-19

Une organisation privée allemande, la CUII, contrôle secrètement le blocage des sites web, contournant les tribunaux et les mécanismes de transparence. Composée d'importants FAI allemands et de détenteurs de droits d'auteur, contrôlant plus de 85 % du marché allemand d'internet, la CUII décide quels sites bloquer sans approbation judiciaire, ce qui entraîne de nombreux blocages erronés. Un étudiant de 17 ans a exposé la liste secrète de blocage de la CUII, suscitant l'attention des médias et des protestations publiques, forçant la CUII à lever certains blocages erronés. Cela souligne les risques des déséquilibres de pouvoir et du manque de transparence, soulevant des questions cruciales sur la censure sur internet et les lois sur les droits d'auteur.

Lire plus
(damcraft.de)
Technologie censure sur internet transparence

La pénible procédure de visa luxembourgeois : une course contre la montre

2025-01-22
La pénible procédure de visa luxembourgeois : une course contre la montre

L'auteur, ayant besoin d'un visa pour assister à la conférence LibreOffice au Luxembourg, a été confronté à une procédure de demande de visa stressante en raison d'un voyage conflictuel au Kenya. Le délai strict de l'ambassade du Luxembourg et le long traitement ont créé un dilemme. Après de nombreux appels et courriels, l'ambassade a exceptionnellement renvoyé le passeport de l'auteur, permettant le voyage au Kenya. Le visa a finalement été accordé, mais seulement après une course effrénée contre la montre, soulignant les lacunes du processus de demande de visa, notamment en ce qui concerne la communication et les réponses rapides.

Lire plus
(ravidwivedi.in)
Divers demande de visa

Benchmark : Opérations bit à bit vs. modulo pour vérifier si un nombre est pair

2025-01-14
Benchmark : Opérations bit à bit vs. modulo pour vérifier si un nombre est pair

Cet article compare deux méthodes pour vérifier si un nombre est pair en Pascal et en C : l’opération modulo et l’opération bit à bit. L’approche bit à bit (utilisant l’opérateur ET bit à bit) s’avère significativement plus rapide. Un test en Pascal itérant de 0 à MaxInt a montré que les opérations bit à bit étaient près de 15 fois plus rapides que le modulo. En C, même si l’optimisation du compilateur peut traduire le modulo 2 en ET bit à bit, la méthode bit à bit a tout de même légèrement surpassé le modulo. Cela met en évidence l’avantage d’efficacité des opérations bit à bit pour vérifier les nombres pairs dans les scénarios critiques de performance.

Lire plus
(ubuntuincident.wordpress.com)
Développement opération bit à bit opération modulo

Serbie : Une prison digitale – Surveillance étatique et répression de la société civile

2025-01-03
Serbie : Une prison digitale – Surveillance étatique et répression de la société civile

Un rapport d'Amnesty International révèle comment les autorités serbes utilisent la technologie de surveillance et les tactiques de répression numérique pour contrôler et réprimer la société civile. Le rapport met en évidence l'utilisation généralisée de logiciels espions, notamment le logiciel espion Pegasus du groupe NSO et un nouveau système de logiciel espion Android de production nationale, NoviSpy, ainsi que les outils de criminalistique mobile UFED de Cellebrite contre des militants écologistes et des leaders de protestation. Ceci constitue une grave violation des droits humains et une atteinte à la liberté d'expression.

Lire plus
(www.amnesty.org)
Technologie répression numérique technologie de surveillance droits humains

Des vidéos automatisées aux bandes dessinées animées : le parcours créatif d’un programmeur

2025-02-06

Pour rationaliser la création de contenu vidéo pour le projet Web Origami, un programmeur a expérimenté l’automatisation de la génération audio et vidéo. Face à des défis tels que des scripts de macros fastidieux et une édition vidéo lourde, il s’est tourné vers la création de bandes dessinées animées. Il a construit un système utilisant HTML/CSS et une animation JavaScript minimale, générant à la fois l’audio et la vidéo à partir d’un scénario. Les fonctionnalités d’Origami ont facilité les tests et les mises à jour. Cette approche lui a permis de se concentrer sur la narration, augmentant ainsi l’efficacité et éliminant les tracas liés aux mises à jour vidéo.

Lire plus
(jan.miksovsky.com)
Développement Bandes Dessinées Animées

Lancement de la bibliothèque lfi d'itération concurrente haute performance

2024-12-12

lfi est une bibliothèque de programmation fonctionnelle légère axée sur l'itération synchrone, asynchrone et concurrente. Elle surpasse significativement les bibliothèques telles que p-map et p-filter en matière d'itération concurrente en traitant chaque élément indépendamment, ce qui se traduit par des gains de performance substantiels. lfi utilise également l'évaluation paresseuse, effectuant les opérations uniquement lorsque nécessaire pour économiser de la mémoire, et possède une petite taille, ce qui la rend facilement optimisable avec tree shaking. Sa conception d'API propre, combinée à la fonction pipe, conduit à un code plus lisible et facile à maintenir.

Lire plus
(lfi.dev)
Développement programmation fonctionnelle itération concurrente optimisation des performances

Le service postal américain interrompt les colis en provenance de Hong Kong et de Chine

2025-02-05
Le service postal américain interrompt les colis en provenance de Hong Kong et de Chine

Le service postal des États-Unis (USPS) a brusquement cessé d'accepter les colis en provenance de Hong Kong et de Chine, conséquence directe de l'escalade des tensions commerciales entre les États-Unis et la Chine. Suite à des tarifs de représailles imposés par la Chine en réponse à l'augmentation des tarifs américains, les douanes et la protection des frontières américaines examinent rigoureusement les colis en provenance de Chine, renvoyant de nombreux camions à la frontière. Cela affecte les plateformes de commerce électronique et les consommateurs qui dépendent des produits chinois, soulignant la complexité du différend commercial entre les États-Unis et la Chine.

Lire plus
(www.wired.com)
Technologie Guerre commerciale entre les États-Unis et la Chine Contrôle douanier Commerce électronique

Les lésions de la moelle épinière dues au vélo de montagne dépassent le hockey et autres sports à haut risque

2025-01-08
Les lésions de la moelle épinière dues au vélo de montagne dépassent le hockey et autres sports à haut risque

Une nouvelle recherche de la Faculté de médecine de l'UBC révèle un nombre étonnamment élevé de lésions de la moelle épinière causées par le vélo de montagne, dépassant celles du hockey et d'autres sports à haut risque. Entre 2008 et 2022, 58 personnes en Colombie-Britannique ont subi des lésions de la moelle épinière en faisant du vélo de montagne, contre seulement 3 pour le hockey sur glace. Au cours des dernières années, les lésions liées au vélo de montagne ont été sept fois plus nombreuses que celles liées au ski et au snowboard. Le nombre annuel en Colombie-Britannique rivalise ou dépasse celui des lésions de football amateur aux États-Unis. L'étude, publiée dans *Neurotrauma Reports*, a révélé que la plupart des personnes blessées étaient des hommes jeunes et en bonne santé (93 % d'hommes, âge moyen de 35,5 ans). 77,5 % ont été blessés après avoir passé par-dessus leur guidon. Bien que la plupart portaient un casque (86,3 %), cela n'a pas éliminé le risque. Le coût estimé à vie de ces blessures pour la Colombie-Britannique est de 195,4 millions de dollars. L'étude appelle à une sensibilisation accrue et à une discussion sur les améliorations de la sécurité.

Lire plus
(www.med.ubc.ca)
Technologie vélo de montagne lésion de la moelle épinière
1 2 … 588 589 590 591 592 593 595