Certificat de nationalité française

en faisant le tri dans les papiers de mon père décédait je trouve des documents de mon grand-père comme le carnet de la pension militaire, des certificats militaires de son parcours dans l'armée française et un autre document indiquant que mon grand-père est français, sachant que mon grand-père à été tuer en mars 1962 par le FN (en Algérie), donc ma question est de savoir comment et ou obtenir le certificat de nationalité française de mon grand-père.CORDIALEMENT