Proceedings of SecReT'07 - Workshop on Security and Rewriting Techniques, Paris, June 2007