pypeneau/Scheduler — pull request #1 by pypeneau (2013-10-13 08:41:14+00:00)
Title: New proc

Merge de la branche master et new_proc. Possible source de bug: election() dans tproc.c