$PIPPIN où est le sommet