+ Added more content to AM/Espazio Metrikoak.tex
+ Added a norm command
+ Added commands for "where" in sets
+ Added another procedure to the OP/Ada/probatu_lista_estatikoak.adb