The first 25kV AC locomotives in Portugal, built by Groupement 50Hz in 1956/57.