Procesos de búsqueda formal para objetos industriales - Relación de las técnicas de Fabricación Digital -FAB-DIG- con procesos para la Búsqueda Objetiva de la Forma Física -BOFF-