/* empile le double passé en paramètre */
void empiler(double);

/* si la pile n'est pas vide, 
     - dépile le double qui est "au-dessus de la pile", et met sa
       valeur à l'adresse passée en paramètre 
     - retourne 1
   sinon retourne 0  */
int depiler(double *);

/* retourne 1 si la pile est vide et 0 sinon */
int estVide(void);