fixing some examples
added Thierry's file about the characterization of loop spaces