IES Gran Capitán (Córdoba, Spain)
https://www.iesgrancapitan.org/
https://informatica.iesgrancapitan.org/