L'auteur qui est déjà partit alors qu'il suffit de montrer que 4P+1 est infini