$PIPPIN vous pouvez raccourcir maintenant pour pippin