Cette opération supprime un élément au début de la file. Elle prend un seul argument, une file. Comme précondition, la 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.