$PIPPIN 0.58888 Ce nombre semble clairement être au sommet ; on peut le vendre à découvert.