Update pinchimpl.sage

Maintenant ça marche...