Text this: Formulas de Kac-Rice en variedades diferenciales