Demostración constructiva del teorema de Cartan-Dieudonné y sus aplicaciones a la cristalografía