New CTAN package: proba