documentation_technique:machines:perceval