error_spe_proc.nit:23,17--19: Redef Error: toto is a procedure, not a function.