La formalización del proceso de inferencia retro-cognitiva como base para construir un diseño de investigación de tipo ex post facto aplicable en la pericia grafoscópica