est-ce le bon moment pour shorter $PIPPIN