génétique formelle