/* Se genera con: php tools/descargar_fuentes.php (ver README). Mientras tanto se usan las letras de respaldo. */