Cette opération prend un seul paramètre, une double file. Elle renvoie t si et seulement si la file ne contient aucun élément. Sinon, elle renvoie nil.