Small fixes, submitted to the EPFL Legal Counsel.