Ada est un langage de programmation généraliste réputé pour sa sûreté et sa fiabilité.