Ejemplos de IDES: