Énoncé

Expression a/ Construis P

Expression b/ Construis Q