A tiny langage for some experimental research about distributed computing