Déborde vers le haut sans intervention de tous les temps dans un gourdin (slattern de nombres réels)