Learning from a Planets Game: Elements of a Didactical Transposition Described with the CPM Language | IEEE Conference Publication | IEEE Xplore