Jean Buridan (source code)

= Jean Buridan
{wiki=Jean_Buridan}