Analyse statique de programmesEn informatique, la notion d’analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter. C'est cette dernière restriction qui distingue l'analyse statique des analyses dynamiques (comme le débugage ou le profiling) qui s'attachent, elles, au suivi de l’exécution du programme. L’analyse statique est utilisée pour repérer des erreurs formelles de programmation ou de conception et pour déterminer la facilité ou la difficulté à maintenir le code.
Terre rareLes terres rares, de symbole REE (pour l'anglais rare-earth element), sont un groupe de métaux aux propriétés voisines comprenant le scandium Sc, l'yttrium Y et les quinze lanthanides. Ces métaux sont, contrairement à ce que suggère leur appellation, assez répandus dans la croûte terrestre, à l'égal de certains métaux usuels. L'abondance du cérium est ainsi d'environ , alors que celle du thulium et du lutécium n'est que de . Sous forme élémentaire, les terres rares ont un aspect métallique et sont assez tendres, malléables et ductiles.
