1 definition by Marillier