verifs de types