c'était pas des x86?