Pivotting

To pivot the records, the boost::multi_index containers are used.
Generated on Thu Feb 18 21:30:12 2010 for eleve by  doxygen 1.5.6