Supprimer un élément au début

Cette opération supprime un élément au début de la double file. Elle prend un seul argument, une double file. Comme précondition, la double file ne doit pas être vide, comme indiqué par la fonction prévue pour cet effet. Cette opération renvoie une seule valeur, le premier élément de la file.