Distributions maintained by SDESEILLE