(executable
 ((name toto)
  (public_name toto)))
