A compact Time-Of-Flight detector for space applications: The LIDAL system