add-sf-bvs-callebaut_lean-spec-prev

aug 13, 2019