brun '(all () ())'
()
