La fonction de suppression du plus petit élément ne prend qu'un seul paramètre : une file de priorité. Comme précondition, la file ne doit pas être vide.
