Ajout d'un kernel basé sur les restrict, testé qu'avec gcc. On a un petit gain par rapport au Kernel3