Não fui capaz de encontrar informações confiáveis sobre a origem e história da família Cravol. Porém, uma possibilidade é que seja um sobrenome de origem italiana ou espanhola. Seria necessário investigar a árvore genealógica da família para obter mais informações precisas.