Ejercicios del curso de Alloy de OpenWebinars, octubre de 2014