(library
  (name tp6)
  (modules tp6)
)
(executable
  (name test)
  (modules test)
  (libraries tp6)
)