Title: Bordes Un Limite En La Formalizacion