Estelle

page d'homonymie de Wikimedia

Estelle est un nom issu de l'occitan estèla, « étoile », qui peut désigner :

Prénom modifier

Estelle est un prénom féminin, qui a pour variantes Estel, Estela, Estele, Estella, Estellie, Estelline, Estrela, Estrella, Étoile et Stella[1].

Sainte chrétienne modifier

Personnes portant ce prénom modifier

Personnages de fiction modifier

Nom de famille modifier

Toponyme modifier

Informatique modifier

  • ESTELLE est un langage de spécification formelle, développé pour la description des systèmes informatiques distribués[2].

Lien externe modifier

  • « Estelle », sur linternaute.com

Notes et références modifier

  1. Chantal Tanet et Tristan Hordé, Dictionnaire des prénoms, Paris, Larousse, , 675 p. (ISBN 978-2-03-583728-8), p. 218 et 585.
  2. Mohammed Ouzzif, « Introduction aux langages ESTELLE, LOTOS et SDL et essai d’application à la gestion de réseaux », HAL INRIA,‎ (lire en ligne [PDF])