// Définition d'un enregistrement immuable Dog qui implémente Serializable
record Dog(int id, String name) implements Serializable {};

String filename="/tmp/mesChiens.bin.gz";

// Utilisation d'un bloc try-with-resources pour assurer la fermeture des flux
try (ObjectOutputStream oos = new ObjectOutputStream(
    new GZIPOutputStream (
        new FileOutputStream (filename)));) {
    
// Sérialisation et compression des objets Dog
oos.writeObject(new Dog(1,"Medor"));
oos.writeObject(new Dog(2,"Rex")); }

        try (ObjectInputStream ois = new ObjectInputStream(
                new GZIPInputStream(
                    new FileInputStream(filename)))) {

            // Boucle infinie pour lire tous les objets Dog du fichier
            while (true) {
                // Lecture et affichage de chaque objet Dog
                System.out.println((Dog) ois.readObject());
            }
        } catch (EOFException e) {
            // Fin de fichier atteinte, sortie de la boucle
        } catch (Exception e) {
            // Gestion des autres exceptions potentielles
            e.printStackTrace();
        }