Langage et logique, vers une logique nouvelle — Marcel Prot