Est-ce enfin la fin de $PIPPIN ?