Montrer que $~\cos(1)~$ est irrationnel.