https://stabileo.com/fr/blog/ Notes sur le solveur, les vérifications réglementaires et les décisions qui les sous-tendent, écrites par celles et ceux qui développent le logiciel. fr Thu, 29 Oct 2026 12:00:00 GMT https://stabileo.com/fr/blog/end-to-end-certificates/ https://stabileo.com/fr/blog/end-to-end-certificates/ Thu, 22 Oct 2026 12:00:00 GMT Un certificat qui prouve qu'un système mal assemblé a été correctement résolu ne vaut pas grand-chose. Comment Stabileo reconstruit lui-même chaque modèle de portique et certifie le résultat par rapport au modèle, ce que cela a permis de trouver et ce qui reste en dehors. https://stabileo.com/fr/blog/same-model-same-numbers/ https://stabileo.com/fr/blog/same-model-same-numbers/ Thu, 22 Oct 2026 12:00:00 GMT Deux calculs du même modèle dans une même session pouvaient différer sur les derniers chiffres. Pourquoi, comment nous l'avons corrigé, et comment chaque rapport indique désormais la version et les données qui l'ont produit, pour que chacun puisse le reproduire. https://stabileo.com/fr/blog/stabileo-0-3-0/ https://stabileo.com/fr/blog/stabileo-0-3-0/ Wed, 21 Oct 2026 12:00:00 GMT Ce qui a changé depuis la 0.2.0 : seize défauts pouvant donner un résultat erroné, corrigés et publiés sous forme d'avis ; des certificats qui vérifient le résultat par rapport au modèle ; et les mêmes chiffres à chaque calcul. https://stabileo.com/fr/blog/safety-advisories/ https://stabileo.com/fr/blog/safety-advisories/ Tue, 20 Oct 2026 12:00:00 GMT Les défauts de Stabileo qui pouvaient donner des résultats erronés ou allant dans le sens de l'insécurité : qui ils concernent, comment savoir si un modèle est concerné, que faire en attendant et quand ils ont été corrigés. https://stabileo.com/fr/blog/how-stabileo-checks-its-results/ https://stabileo.com/fr/blog/how-stabileo-checks-its-results/ Tue, 20 Oct 2026 12:00:00 GMT Le solveur, la vérification formelle et l'IA : comment nous cherchons les erreurs dans les chiffres que donne Stabileo, ce que prouvent les certificats et ce qu'aucune vérification ne peut garantir. https://stabileo.com/fr/blog/bars-or-finite-elements/ https://stabileo.com/fr/blog/bars-or-finite-elements/ Wed, 23 Sep 2026 12:00:00 GMT Pour une barre prismatique, la méthode des déplacements est le cas particulier exact de la méthode des éléments finis. Ce qui change, c'est le modèle, et pour une poutre de grande hauteur le modèle à barres donne une flèche trop faible de 19 à 34 %. https://stabileo.com/fr/blog/torsion-bredt-saint-venant/ https://stabileo.com/fr/blog/torsion-bredt-saint-venant/ Sat, 29 Aug 2026 12:00:00 GMT Trois formules, une section, trois valeurs différentes. Celle qui s'applique dépend de la paroi ; quand deux s'appliquent à la fois, Bredt donne une valeur trop faible de 2 à 15 %. https://stabileo.com/fr/blog/verificacion-flexion-cirsoc-201/ https://stabileo.com/fr/blog/verificacion-flexion-cirsoc-201/ Wed, 26 Aug 2026 12:00:00 GMT Presque tout le monde se souvient de φMn ≥ Mu. C'est la dernière ligne de la vérification, pas la vérification. L'issue se décide avant, et l'une de ces étapes peut faire descendre φ sous 0,9. https://stabileo.com/fr/blog/conceptual-side-advanced-tools/ https://stabileo.com/fr/blog/conceptual-side-advanced-tools/ Fri, 21 Aug 2026 12:00:00 GMT Il existe des logiciels de structures gratuits, et ils sont bons : ils modélisent, ils calculent, ils affichent les résultats. Ce que nous n'avons pas trouvé, c'est un logiciel qui aborde les outils avancés par leur côté conceptuel. https://stabileo.com/fr/blog/the-determinism-boundary/ https://stabileo.com/fr/blog/the-determinism-boundary/ Wed, 12 Aug 2026 12:00:00 GMT Un modèle de langage ne peut pas garantir qu'un nombre est juste. Dans l'architecture que nous proposons pour l'ingénierie des structures, l'agent interprète et propose, et chaque nombre provient d'un solveur vérifié.