modif atp-proto

semantic_file n'existe pas