start of parser for mu formulae
parser for fomula
model checking commands (parsing only)
merge with master
modified script
rendu compilable