renaming, test
-- Git-author: Jocelyn FIAT <jfiat@...(none)> -- Git-id: 2227ea02ef3bd99e8ac1513514710dd8e8b91d2f
Authored by: jocelyn_fiat 1970-01-01
Parent: [r27]
Child: [r29]