CSP-Quimper ProB 2009