Système temps réelEn informatique, on parle d'un système temps réel lorsque ce système est capable de contrôler (ou piloter) un procédé physique à une vitesse adaptée à l'évolution du procédé contrôlé. Les systèmes informatiques temps réel se différencient des autres systèmes informatiques par la prise en compte de contraintes temporelles dont le respect est aussi important que l'exactitude du résultat, autrement dit le système ne doit pas simplement délivrer des résultats exacts, il doit les délivrer dans des délais imposés.
Roche magmatiqueLes roches magmatiques ou roches ignées (anciennement, roches éruptives), se forment quand un magma se refroidit et se solidifie, avec ou sans cristallisation complète des minéraux le composant. Cette solidification peut se produire : lentement en profondeur, cas des roches magmatiques plutoniques (dites « intrusives ») ; rapidement à la surface, cas des roches magmatiques volcaniques (dites « extrusives » ou « effusives »).
