Hirlam-Aladin Probabilistic Systems